Cheap Boolean Role Constructors for Description Logics
نویسندگان
چکیده
We investigate the possibility of incorporating Boolean role constructors on simple roles into some of today’s most popular description logics, focussing on cases where those extensions do not increase complexity of reasoning. We show that the expressive DLs SHOIQ and SROIQ, serving as the logical underpinning of OWL and the forthcoming OWL 2, can accommodate arbitrary Boolean expressions. The prominent OWL-fragment SHIQ can be safely extended by safe role expressions, and the tractable fragments EL and DLP retain tractability if extended by conjunction on roles, where in the case of DLP the restriction on role simplicity can even be discarded.
منابع مشابه
Modal Logics, Description Logics and Arithmetic Reasoning
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large class of modal and description logics. The class of description logics suitable for the proposed methods is strong on the arithmetical side. In particular there may be complex arithmetical conditions on sets of accessib...
متن کاملExpressive Number Restrictions in Description Logics
Number restrictions are concept constructors that are available in almost all implemented Description Logic systems. However, they are mostly available only in a rather weak form, which considerably restricts their expressive power. On the one hand, the roles that may occur in number restrictions are usually of a very restricted type, namely atomic roles or complex roles built using either inte...
متن کاملTowards a Uniied Architecture for Knowledge Representation and Reasoning Based on Terminological Logics
This paper presents a uniied architecture for knowledge representation and reasoning based on terminological (description) logics. The novelty of our approach consists in trying to use description logics not only for representing domain knowledge, but also for describing beliefs, epistemic operators and actions of intelligent agents in an unitary framework. For this purpose , we have chosen a d...
متن کاملA Summary of the PhD Dissertation Bisimulation Equivalence in Description Logics and Its Applications
Description logics (DLs) are variants of modal logic. They are of particular importance in providing a logical formalism for ontologies and the Semantic Web. DLs represent the domain of interest in terms of concepts, individuals, and roles. A concept is interpreted as a set of individuals, while a role is interpreted as a binary relation among individuals. A DL is characterized by a set of conc...
متن کاملNumber Restrictions on Complex Roles in Description Logics: A Preliminary Report
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort on integrating expressive role constructors into description logics, the roles that may occur in number restrictions are usually of a very restricted type. Until now, only languages with number restrictions on atomic ...
متن کامل